specman navigation magellan גנות erm verilog asic verifigen formal methods verification model checking verisure garmin hierarchical testing implied intent gps